Application Specific Text Relations using Real Time Group Editors

Despite the significant progress that has been achieved over the past 15 years, a notable fact in the history of OT [1] is that the discovery and solution of various OT puzzles (i.e., correctness problems in previous OT algorithms) has been a main driver of research. However, the existence of OT puzzles can be largely attributed to the lack of a suitable theoretical framework for guiding the design and verification of OT algorithms. More specifically, the well-established frameworks rely on conditions that are difficult to verify in practice and do not address how to develop correct OT algorithms. In this research , a novel operation transformation framework is developed to overcome the weakness of existing system. The concept “operation effects relation”, defines two criteria, causality preservation and operation effects relation preservation, for verifying the correctness of OT algorithms. The OT framework comes with a practicable approach for developing and proving OT algorithms. In this approach, the sufficient conditions for transformation functions are first identified and a special transformation path is chosen to satisfy those conditions. Thus, the correctness of the whole algorithm is guaranteed.